home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Source Code / C / Applications / Moscow ML 1.42 / src / mosmllib / test / result.ok < prev    next >
Encoding:
Text File  |  1997-08-18  |  50.1 KB  |  1,592 lines  |  [TEXT/R*ch]
  1. Moscow ML version 1.42 (July 1997)
  2. Enter `quit();' to quit.
  3. [opening file "test.sml"]
  4. [opening file "array.sml"]
  5. [opening file "auxil.sml"]
  6. > infix 1 seq
  7.   val seq = fn : 'a * 'b -> 'b
  8. > val check = fn : bool -> string
  9. > val check' = fn : (unit -> bool) -> string
  10. > val range = fn : int * int -> (int -> bool) -> bool
  11. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  12. [closing file "auxil.sml"]
  13. > val it = () : unit
  14. > val a = <array> : int Array.array
  15.   val b = <array> : int Array.array
  16.   val c = <array> : int Array.array
  17.   val test1 = "OK" : string
  18.   val test2 = "OK" : string
  19.   val d = <array> : int Array.array
  20.   val test3 = "OK" : string
  21.   val test4a = "OK" : string
  22.   val test4b = "OK" : string
  23.   val test4c = "OK" : string
  24.   val test5a = "OK" : string
  25.   val test5b = "OK" : string
  26.   val test6a = "OK" : string
  27.   val test6b = "OK" : string
  28.   val test6c = "OK" : string
  29.   val e = <array> : int Array.array
  30.   val a2v = fn : 'a Array.array -> 'a vector
  31.   val ev =
  32.     #[1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41,
  33.       51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21,
  34.       31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1,
  35.       11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51,
  36.       61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31,
  37.       41, 51, 61, 1, 11, 441, 551, 661, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21,
  38.       31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1,
  39.       11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51,
  40.       61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31,
  41.       41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, 61, 1, 11,
  42.       21, 31, 41, 51, 61, 1, 11, 21, 31, 41, 51, ...]
  43.     : int vector
  44.   val test7 = "OK" : string
  45.   val test8a = "OK" : string
  46.   val test8b = "OK" : string
  47.   val f = #[441, 551, 661] : int vector
  48.   val test9 = "OK" : string
  49.   val test9a = "OK" : string
  50.   val test9b = "OK" : string
  51.   val test9c = "OK" : string
  52.   val test9d = "OK" : string
  53.   val test9e = "OK" : string
  54.   val test9f = "OK" : string
  55.   val test9g = "OK" : string
  56.   val test9h = "OK" : string
  57.   val test9i = "OK" : string
  58.   val test9j = "OK" : string
  59.   val g = <array> : int Array.array
  60.   val test10a = "OK" : string
  61.   val test10b = "OK" : string
  62.   val test10c = "OK" : string
  63.   val test10d = "OK" : string
  64.   val test10e = "OK" : string
  65.   val test10f = "OK" : string
  66.   val test10g = "OK" : string
  67.   val test10h = "OK" : string
  68.   val test10i = "OK" : string
  69.   val test11a = "OK" : string
  70.   val test11b = "OK" : string
  71.   val test11c = "OK" : string
  72.   val test11d = "OK" : string
  73.   val test11e = "OK" : string
  74.   val test11f = "OK" : string
  75.   val test11g = "OK" : string
  76.   val test11h = "OK" : string
  77.   val test11i = "OK" : string
  78.   val test11j = "OK" : string
  79.   val test11k = "OK" : string
  80.   val array0 = <array> : int Array.array
  81.   val test12a = "OK" : string
  82.   val test12b = "OK" : string
  83.   val test12d = "OK" : string
  84.   val test12e = "OK" : string
  85.   val test13a = "OK" : string
  86.   val test13b = "OK" : string
  87.   val test13c = "OK" : string
  88.   val test13d = "OK" : string
  89.   val test13e = "OK" : string
  90.   val test13f = "OK" : string
  91.   val test13g = "OK" : string
  92.   val test13h = "OK" : string
  93.   val test13i = "OK" : string
  94.   val test13j = "OK" : string
  95.   val test13k = "OK" : string
  96.   val test13l = "OK" : string
  97.   val test13m = "OK" : string
  98.   val test13n = "OK" : string
  99.   val test15a = "OK" : string
  100.   val test15b = "OK" : string
  101.   val test15c = "OK" : string
  102.   val test15d = "OK" : string
  103.   val test15e = "OK" : string
  104.   val test15f = "OK" : string
  105.   val test15g = "OK" : string
  106.   val test15h = "OK" : string
  107.   val test16a = "OK" : string
  108.   val test16b = "OK" : string
  109.   val test16c = "OK" : string
  110.   val test16d = "OK" : string
  111.   val test16e = "OK" : string
  112.   val test16f = "OK" : string
  113.   val test16g = "OK" : string
  114. [closing file "array.sml"]
  115. [opening file "array2.sml"]
  116. [opening file "auxil.sml"]
  117. > infix 1 seq
  118.   val seq = fn : 'a * 'b -> 'b
  119. > val check = fn : bool -> string
  120. > val check' = fn : (unit -> bool) -> string
  121. > val range = fn : int * int -> (int -> bool) -> bool
  122. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  123. [closing file "auxil.sml"]
  124. > val it = () : unit
  125. > val a0 = <array2> : int Array2.array2
  126.   val fill = fn : int * int -> int
  127.   val a = <array2> : int Array2.array2
  128.   val test0 = true : bool
  129.   val test1a = "OK" : string
  130.   val test1b = "OK" : string
  131.   val test1c = "OK" : string
  132.   val test1d = "OK" : string
  133.   val test1e = "OK" : string
  134.   val test1f = "OK" : string
  135.   val test2 = "OK" : string
  136.   val test3a = "OK" : string
  137.   val test3b = "OK" : string
  138.   val test3c = "OK" : string
  139.   val test4a = "OK" : string
  140.   val test4b = "OK" : string
  141.   val test4c = "OK" : string
  142.   val test4d = "OK" : string
  143.   val test5a = "OK" : string
  144.   val test5b = "OK" : string
  145.   val test5c = "OK" : string
  146.   val test5d = "OK" : string
  147.   val a1 = <array2> : int Array2.array2
  148.   val testcopy =
  149.     fn
  150.     : {col : int, ht : int option, row : int, wd : int option} -> int -> int ->
  151.       (int Array2.array2 -> bool) -> string
  152.   val same = fn : int Array2.array2 -> bool
  153.   val elts = fn : ''a vector list -> ''a Array2.array2 -> bool
  154.   val test6a = "OK" : string
  155.   val test6b = "OK" : string
  156.   val test6c = "OK" : string
  157.   val test6d = "OK" : string
  158.   val test6e = "OK" : string
  159.   val test6f = "OK" : string
  160.   val test6g = "OK" : string
  161.   val test6h = "OK" : string
  162.   val test6i = "OK" : string
  163.   val test6j = "OK" : string
  164.   val test6k = "OK" : string
  165.   val test6l = "OK" : string
  166.   val test6m = "OK" : string
  167.   val test6n = "OK" : string
  168.   val test6o = "OK" : string
  169.   val failcopy =
  170.     fn
  171.     : {col : int, ht : int option, row : int, wd : int option} -> int -> int ->
  172.       string
  173.   val test7a = "OK" : string
  174.   val test7b = "OK" : string
  175.   val test7c = "OK" : string
  176.   val test7d = "OK" : string
  177.   val test7e = "OK" : string
  178.   val test7f = "OK" : string
  179.   val test7g = "OK" : string
  180.   val test7h = "OK" : string
  181.   val test7i = "OK" : string
  182.   val test7j = "OK" : string
  183.   val test7k = "OK" : string
  184.   val test7l = "OK" : string
  185.   val test7m = "OK" : string
  186.   val test7n = "OK" : string
  187.   val sequence = ref [12, 11, 2, 1] : int list ref
  188.   val collect = fn : int -> unit
  189.   val collecti = fn : int * int * int -> unit
  190.   val a3 = <array2> : int Array2.array2
  191.   val test8a = "OK" : string
  192.   val test8b = "OK" : string
  193.   val test8c = "OK" : string
  194.   val test8d = "OK" : string
  195.   val test8e = "OK" : string
  196.   val test8f = "OK" : string
  197.   val test8g = "OK" : string
  198.   val test8h = "OK" : string
  199.   val test8i = "OK" : string
  200.   val test8j = "OK" : string
  201.   val test8k = "OK" : string
  202.   val test8l = "OK" : string
  203.   val chkmodify = fn : int list -> (int Array2.array2 -> bool) -> string
  204.   val chkmodifyi =
  205.     fn
  206.     : {col : int, ht : int option, row : int, wd : int option} -> int list ->
  207.       (int Array2.array2 -> bool) -> string
  208.   val test9a = "OK" : string
  209.   val test9b = "OK" : string
  210.   val test9c = "OK" : string
  211.   val test9d = "OK" : string
  212.   val test9e = "OK" : string
  213.   val test9f = "OK" : string
  214.   val test9g = "OK" : string
  215.   val test9h = "OK" : string
  216.   val test9i = "OK" : string
  217.   val test9j = "OK" : string
  218.   val test9k = "OK" : string
  219.   val test9l = "OK" : string
  220.   val chkfold = fn : Array2.traversal -> int list -> string
  221.   val chkfoldi =
  222.     fn
  223.     : Array2.traversal ->
  224.       {col : int, ht : int option, row : int, wd : int option} -> int list ->
  225.       string
  226.   val test10a1 = "OK" : string
  227.   val test10a2 = "OK" : string
  228.   val test10b1 = "OK" : string
  229.   val test10b2 = "OK" : string
  230.   val test10c1 = "OK" : string
  231.   val test10c2 = "OK" : string
  232.   val test10d1 = "OK" : string
  233.   val test10d2 = "OK" : string
  234.   val test10e1 = "OK" : string
  235.   val test10e2 = "OK" : string
  236.   val test10f1 = "OK" : string
  237.   val test10f2 = "OK" : string
  238.   val test10g1 = "OK" : string
  239.   val test10g2 = "OK" : string
  240.   val test10h1 = "OK" : string
  241.   val test10h2 = "OK" : string
  242.   val test10i1 = "OK" : string
  243.   val test10i2 = "OK" : string
  244.   val test10j1 = "OK" : string
  245.   val test10j2 = "OK" : string
  246.   val test10k1 = "OK" : string
  247.   val test10k2 = "OK" : string
  248.   val test10l1 = "OK" : string
  249.   val test10l2 = "OK" : string
  250.   val faili =
  251.     fn
  252.     : {col : int, ht : int option, row : int, wd : int option} -> string
  253.   val test11a = "OK" : string
  254.   val test11b = "OK" : string
  255.   val test11c = "OK" : string
  256.   val test11d = "OK" : string
  257.   val test11e = "OK" : string
  258.   val test11f = "OK" : string
  259.   val test11g = "OK" : string
  260.   val test11h = "OK" : string
  261.   val chkfromlist = fn : ''a list list -> string
  262.   val test12a = "OK" : string
  263.   val test12b = "OK" : string
  264.   val test12c = "OK" : string
  265.   val test12d = "OK" : string
  266.   val test12e = "OK" : string
  267.   val test12f = "OK" : string
  268.   val test12g = "OK" : string
  269.   val test12h = "OK" : string
  270.   val test12i = "OK" : string
  271.   val test12j = "OK" : string
  272.   val test12k = "OK" : string
  273.   val test12l = "OK" : string
  274. [closing file "array2.sml"]
  275. [opening file "arraysort.sml"]
  276. > val it = () : unit
  277. > val it = () : unit
  278. > val it = () : unit
  279. > val a = <array> : real Array.array
  280. > val test1 = true : bool
  281. > val test2 = true : bool
  282. [closing file "arraysort.sml"]
  283. [opening file "bytechar.sml"]
  284. [opening file "auxil.sml"]
  285. > infix 1 seq
  286.   val seq = fn : 'a * 'b -> 'b
  287. > val check = fn : bool -> string
  288. > val check' = fn : (unit -> bool) -> string
  289. > val range = fn : int * int -> (int -> bool) -> bool
  290. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  291. [closing file "auxil.sml"]
  292. > val it = () : unit
  293. > val test1 = "OK" : string
  294.   val test2 = "OK" : string
  295.   val test3 = "OK" : string
  296.   val test4 = "OK" : string
  297.   val test5 = "OK" : string
  298.   val test6 = "OK" : string
  299.   val test7 = "OK" : string
  300.   val test8 = "OK" : string
  301.   val test9 = "OK" : string
  302.   val test10a = "OK" : string
  303.   val test10b = "OK" : string
  304.   val test10c = "OK" : string
  305.   val test10d = "OK" : string
  306.   val test10e = "OK" : string
  307.   val test10f = "OK" : string
  308.   val test10g = "OK" : string
  309.   val test10h = "OK" : string
  310.   val test10i = "OK" : string
  311.   val test10j = "OK" : string
  312.   val test11a = "OK" : string
  313.   val test11b = "OK" : string
  314.   val test11c = "OK" : string
  315.   val test11d = "OK" : string
  316.   val test11e = "OK" : string
  317.   val test11f = "OK" : string
  318.   val test11g = "OK" : string
  319.   val test11h = "OK" : string
  320.   val test11i = "OK" : string
  321.   val test11j = "OK" : string
  322.   val test18 = "OK" : string
  323.   val test19 = "OK" : string
  324.   val test20 = "OK" : string
  325.   val test21 = "OK" : string
  326.   val test22 = "OK" : string
  327.   val test23 = "OK" : string
  328.   val test24 = "OK" : string
  329.   val test25 = "OK" : string
  330.   val test26 = "OK" : string
  331.   val test27 = "OK" : string
  332.   val test28 = "OK" : string
  333.   val test29 = "OK" : string
  334.   val test30 = "OK" : string
  335.   val test31 = "OK" : string
  336.   val test32 = "OK" : string
  337.   val test33 = "OK" : string
  338.   val test34a = "OK" : string
  339.   val test34b = "OK" : string
  340.   val test35a = "OK" : string
  341.   val test35b = "OK" : string
  342.   val test36 = "OK" : string
  343.   val test37 = "OK" : string
  344.   val test38 = "OK" : string
  345.   val test39 = "OK" : string
  346.   val test40 = "OK" : string
  347.   val test41 = "OK" : string
  348.   val test42 = "OK" : string
  349.   val test43 = "OK" : string
  350. [closing file "bytechar.sml"]
  351. [opening file "date.sml"]
  352. [opening file "auxil.sml"]
  353. > infix 1 seq
  354.   val seq = fn : 'a * 'b -> 'b
  355. > val check = fn : bool -> string
  356. > val check' = fn : (unit -> bool) -> string
  357. > val range = fn : int * int -> (int -> bool) -> bool
  358. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  359. [closing file "auxil.sml"]
  360. > val it = () : unit
  361. This is now:                    Sun Jul 13 21:08:10 1997
  362. This is an hour from now:       Sun Jul 13 22:08:10 1997
  363. This is a day from now:         Mon Jul 14 21:08:10 1997
  364. This is a week from now:        Sun Jul 20 21:08:10 1997
  365. This is 120 days from now:      Mon Nov 10 20:08:10 1997
  366. This is 160 days from now:      Sat Dec 20 20:08:11 1997
  367. This is 200 days from now:      Thu Jan 29 20:08:11 1998
  368. This is 240 days from now:      Tue Mar 10 20:08:11 1998
  369. This is the epoch (UTC):        Thu Jan  1 00:00:00 1970
  370. This is the number of the day:  194
  371. This is today's weekday:        Sunday
  372. This is the name of this month: July
  373. > val test1 = "OK" : string
  374.   val test2 = "OK" : string
  375.   val test3 = "OK" : string
  376.   val test4 = "OK" : string
  377. [closing file "date.sml"]
  378. [opening file "filesys.sml"]
  379. [opening file "auxil.sml"]
  380. > infix 1 seq
  381.   val seq = fn : 'a * 'b -> 'b
  382. > val check = fn : bool -> string
  383. > val check' = fn : (unit -> bool) -> string
  384. > val range = fn : int * int -> (int -> bool) -> bool
  385. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  386. [closing file "auxil.sml"]
  387. > val it = () : unit
  388. > val test1a = "OK" : string
  389.   val test1b = "OK" : string
  390.   val test2 = "OK" : string
  391.   val test3a = "OK" : string
  392.   val test4a = "OK" : string
  393.   val test4b = "OK" : string
  394.   val test4c = "OK" : string
  395.   val test4d = "OK" : string
  396.   val test5 = "OK" : string
  397.   val test6a = "OK" : string
  398.   val test6b = "OK" : string
  399.   val test6c = "OK" : string
  400.   val test6d = "OK" : string
  401.   val test6e = "OK" : string
  402.   val test6f = "OK" : string
  403.   val test6g = "OK" : string
  404.   val test6h = "OK" : string
  405.   val test6i = "OK" : string
  406.   val test6j = "OK" : string
  407.   val test6k = "OK" : string
  408.   val test6l = "OK" : string
  409.   val test7a = "OK" : string
  410.   val test7b = "OK" : string
  411.   val test7c = "OK" : string
  412.   val test7d = "OK" : string
  413.   val test7e = "OK" : string
  414.   val test8a = "OK" : string
  415.   val test8b = "OK" : string
  416.   val test8c = "OK" : string
  417.   val test8d = "OK" : string
  418.   val test8e = "OK" : string
  419.   val test8f = "OK" : string
  420.   val test8g = "OK" : string
  421.   val test8h = "OK" : string
  422.   val test9a = "OK" : string
  423.   val test9b = "OK" : string
  424.   val test10a = "OK" : string
  425.   val test10b = "OK" : string
  426.   val test10c = "OK" : string
  427.   val test11a = "OK" : string
  428.   val test11b = "OK" : string
  429.   val test11c = "OK" : string
  430.   val test12a = "OK" : string
  431.   val test12b = "OK" : string
  432.   val test12c = "OK" : string
  433.   val test13a = "OK" : string
  434.   val test13b = "OK" : string
  435.   val test13c = "OK" : string
  436.   val test13d = "OK" : string
  437.   val test13e = "OK" : string
  438.   val test14 = "OK" : string
  439.   val test15a = "OK" : string
  440.   val test15b = "OK" : string
  441.   val test15c = "OK" : string
  442.   val test15d = "OK" : string
  443.   val test15e = "OK" : string
  444.   val test15f = "OK" : string
  445. [closing file "filesys.sml"]
  446. [opening file "general.sml"]
  447. [opening file "auxil.sml"]
  448. > infix 1 seq
  449.   val seq = fn : 'a * 'b -> 'b
  450. > val check = fn : bool -> string
  451. > val check' = fn : (unit -> bool) -> string
  452. > val range = fn : int * int -> (int -> bool) -> bool
  453. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  454. [closing file "auxil.sml"]
  455. > val it = () : unit
  456. > exn NoExceptionRaised = NoExceptionRaised : exn
  457.   val getExn = fn : (unit -> 'a) -> exn
  458.   val prExn = fn : string * exn -> unit
  459. > exn E1 = E1 : exn
  460. > exn E2 = E2 : exn
  461. File "general.sml", line 20, characters 42-46:
  462. !      ("Bind",      getExn(fn _ => let val true = false in () end)),
  463. !                                           ^^^^
  464. ! Warning: pattern matching is not exhaustive
  465.  
  466. File "general.sml", line 21, characters 35-48:
  467. !      ("Match",     getExn(fn _ => (fn true => ()) false)),
  468. !                                    ^^^^^^^^^^^^^
  469. ! Warning: pattern matching is not exhaustive
  470. Should be `E1 or E2':
  471.   E1
  472.   E1
  473. Should be `Bind':
  474.   General.Bind
  475.   General.Bind
  476. Should be `Match':
  477.   General.Match
  478.   General.Match
  479. Should be `Subscript':
  480.   General.Subscript
  481.   General.Subscript
  482. Should be `Size':
  483.   General.Size
  484.   General.Size
  485. Should be `Div':
  486.   General.Div
  487.   General.Div
  488. Should be `Chr':
  489.   General.Chr
  490.   General.Chr
  491. Should be `Fail':
  492.   General.Fail
  493.   General.Fail: demo
  494. Should be `Option':
  495.   Option.Option
  496.   Option.Option
  497. Should be `Empty':
  498.   List.Empty
  499.   List.Empty
  500. Should be `SysErr':
  501.   General.SysErr
  502.   General.SysErr: modTime failed on `exists.not': No such file or directory
  503. Should be `Io':
  504.   General.Io
  505.   General.Io: openOut failed on `.'; General.SysErr: Is a directory
  506.  
  507. [closing file "general.sml"]
  508. [opening file "int.sml"]
  509. [opening file "auxil.sml"]
  510. > infix 1 seq
  511.   val seq = fn : 'a * 'b -> 'b
  512. > val check = fn : bool -> string
  513. > val check' = fn : (unit -> bool) -> string
  514. > val range = fn : int * int -> (int -> bool) -> bool
  515. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  516. [closing file "auxil.sml"]
  517. > val it = () : unit
  518. > val test1a = "OK" : string
  519.   val test1b = "OK" : string
  520.   val test1c = "OK" : string
  521.   val test1d = "OK" : string
  522.   val test2a = "OK" : string
  523.   val test2b = "OK" : string
  524.   val test2c = "OK" : string
  525.   val test2d = "OK" : string
  526.   val test3 = "OK" : string
  527.   val test4 = "OK" : string
  528.   val test5 = "OK" : string
  529.   val test6 = "OK" : string
  530.   val test12 = "OK" : string
  531.   val chk = fn : ('a -> ''b option) -> 'a * ''b -> string
  532.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  533.   val test13a =
  534.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  535.      "OK", "OK"]
  536.     : string list
  537.   val test13b =
  538.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  539.     : string list
  540.   val test14a =
  541.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  542.      "OK", "OK"]
  543.     : string list
  544.   val test14b =
  545.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  546.     : string list
  547.   val test15a =
  548.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  549.      "OK", "OK"]
  550.     : string list
  551.   val test15b =
  552.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  553.      "OK", "OK"]
  554.     : string list
  555.   val test16a =
  556.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  557.      "OK", "OK"]
  558.     : string list
  559.   val test16b =
  560.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  561.      "OK"]
  562.     : string list
  563.   val test17a =
  564.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  565.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  566.      "OK"]
  567.     : string list
  568.   val test17b =
  569.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  570.     : string list
  571.   val test18 = "OK" : string
  572.   val test19 = "OK" : string
  573.   val test20 = "OK" : string
  574.   val test21 = "OK" : string
  575.   val test22 = "OK" : string
  576. [closing file "int.sml"]
  577. [opening file "list.sml"]
  578. [opening file "auxil.sml"]
  579. > infix 1 seq
  580.   val seq = fn : 'a * 'b -> 'b
  581. > val check = fn : bool -> string
  582. > val check' = fn : (unit -> bool) -> string
  583. > val range = fn : int * int -> (int -> bool) -> bool
  584. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  585. [closing file "auxil.sml"]
  586. > val it = () : unit
  587. > val v123 = [1, 2, 3] : int list
  588.   val even = fn : int -> bool
  589.   val test1 = "OK" : string
  590.   val test2 = "OK" : string
  591.   val test3 = "OK" : string
  592.   val test4 = "OK" : string
  593.   val test5 = "OK" : string
  594.   val test6 = "OK" : string
  595.   val test7 = "OK" : string
  596.   val test8 = "OK" : string
  597.   val test9 = "OK" : string
  598.   val test10 = "OK" : string
  599.   val v16 = [1, 2, 3, 4, 5, 6] : int list
  600.   val test11 = "OK" : string
  601.   val test12 = "OK" : string
  602.   val test13 = "OK" : string
  603.   val reset = fn : unit -> unit
  604.   val incrv = fn : int -> unit
  605.   val checkv = fn : unit -> string
  606.   val test14 = fn : unit -> string
  607.   val test15 = "OK" : string
  608.   val test16 = "OK" : string
  609.   val test17 = "OK" : string
  610.   val test18 = "OK" : string
  611.   val test19 = "OK" : string
  612.   val test20 = "OK" : string
  613.   val test21 = "OK" : string
  614.   val test22 = "OK" : string
  615.   val test23 = "OK" : string
  616.   val test24 = "OK" : string
  617.   val test25 = "OK" : string
  618.   val test26 = "OK" : string
  619.   val test27 = "OK" : string
  620.   val test28 = "OK" : string
  621.   val test29 = "OK" : string
  622.   val test30 = "OK" : string
  623.   val test31 = "OK" : string
  624.   val test32 = "OK" : string
  625.   val test33 = "OK" : string
  626.   val test34 = "OK" : string
  627.   val test35a = "OK" : string
  628.   val test35b = "OK" : string
  629.   val test35c = "OK" : string
  630.   val test36a = "OK" : string
  631.   val test36b = "OK" : string
  632.   val test36c = "OK" : string
  633.   val test37a = "OK" : string
  634. [closing file "list.sml"]
  635. [opening file "listpair.sml"]
  636. [opening file "auxil.sml"]
  637. > infix 1 seq
  638.   val seq = fn : 'a * 'b -> 'b
  639. > val check = fn : bool -> string
  640. > val check' = fn : (unit -> bool) -> string
  641. > val range = fn : int * int -> (int -> bool) -> bool
  642. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  643. [closing file "auxil.sml"]
  644. > val it = () : unit
  645. > val test1 = "OK" : string
  646.   val test2a = "OK" : string
  647.   val test2b = "OK" : string
  648.   val test3a = "OK" : string
  649.   val reset = fn : unit -> unit
  650.   val incrv = fn : int -> unit
  651.   val checkv = fn : unit -> string
  652.   val test3b = "OK" : string
  653.   val test4 = "OK" : string
  654.   val test5a = "OK" : string
  655.   val test5b = "OK" : string
  656.   val test5c = "OK" : string
  657.   val test5d = "OK" : string
  658.   val test5e = "OK" : string
  659.   val test6 = "OK" : string
  660.   val test7 = "OK" : string
  661. [closing file "listpair.sml"]
  662. [opening file "listsort.sml"]
  663. > val it = () : unit
  664. > val it = () : unit
  665. > val it = () : unit
  666. > val test1 = true : bool
  667.   val test2 = true : bool
  668. [closing file "listsort.sml"]
  669. [opening file "math.sml"]
  670. [opening file "auxil.sml"]
  671. > infix 1 seq
  672.   val seq = fn : 'a * 'b -> 'b
  673. > val check = fn : bool -> string
  674. > val check' = fn : (unit -> bool) -> string
  675. > val range = fn : int * int -> (int -> bool) -> bool
  676. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  677. [closing file "auxil.sml"]
  678. > val it = () : unit
  679. > val test0a = "OK" : string
  680.   val test0b = "OK" : string
  681.   val test1a = "OK" : string
  682.   val test1b = "OK" : string
  683.   val test1c = "OK" : string
  684.   val test2a = "OK" : string
  685.   val test2b = "OK" : string
  686.   val test2c = "OK" : string
  687.   val test2d = "OK" : string
  688.   val test3a = "OK" : string
  689.   val test3b = "OK" : string
  690.   val test3c = "OK" : string
  691.   val test3d = "OK" : string
  692.   val test4a = "OK" : string
  693.   val test4b = "OK" : string
  694.   val test4c = "OK" : string
  695.   val test4d = "OK" : string
  696.   val test4e = "OK" : string
  697.   val test4f = "OK" : string
  698.   val test4g = "OK" : string
  699.   val test5a = "OK" : string
  700.   val test5b = "OK" : string
  701.   val test5c = "OK" : string
  702.   val test5d = "OK" : string
  703.   val test5e = "OK" : string
  704.   val test6a = "OK" : string
  705.   val test6b = "OK" : string
  706.   val test6c = "OK" : string
  707.   val test6d = "OK" : string
  708.   val test6e = "OK" : string
  709.   val test7a = "OK" : string
  710.   val test7b = "OK" : string
  711.   val test7c = "OK" : string
  712.   val test7d = "OK" : string
  713.   val test7e = "OK" : string
  714.   val test8a = "OK" : string
  715.   val test8b = "OK" : string
  716.   val test8c = "OK" : string
  717.   val test8d = "OK" : string
  718.   val test8e = "OK" : string
  719.   val test8f = "OK" : string
  720.   val test8g = "OK" : string
  721.   val test8h = "OK" : string
  722.   val test8i = "OK" : string
  723.   val test8j = "OK" : string
  724.   val test8k = "OK" : string
  725.   val test8l = "OK" : string
  726.   val test9a = "OK" : string
  727.   val test9b = "OK" : string
  728.   val test9c = "OK" : string
  729.   val test10a = "OK" : string
  730.   val test10b = "OK" : string
  731.   val test10c = "OK" : string
  732.   val test10d = "OK" : string
  733.   val test10e = "OK" : string
  734.   val test12a = "OK" : string
  735.   val test12b = "OK" : string
  736.   val test12c = "OK" : string
  737.   val test12d = "OK" : string
  738.   val test12e = "OK" : string
  739.   val test12f = "OK" : string
  740.   val test12g = "OK" : string
  741.   val test12h = "OK" : string
  742.   val test12i = "OK" : string
  743.   val test12j = "OK" : string
  744.   val test12k = "OK" : string
  745.   val test12l = "OK" : string
  746.   val test12m = "OK" : string
  747.   val test13a = "OK" : string
  748.   val test13b = "OK" : string
  749.   val test13c = "OK" : string
  750.   val test13d = "OK" : string
  751.   val test13e = "OK" : string
  752.   val check14a = "OK" : string
  753.   val check14b = "OK" : string
  754.   val check14c = "OK" : string
  755.   val check14d = "OK" : string
  756.   val check14e = "OK" : string
  757.   val check15a = "OK" : string
  758.   val check15b = "OK" : string
  759.   val check15c = "OK" : string
  760.   val check15d = "OK" : string
  761.   val check15e = "OK" : string
  762.   val check15f = "OK" : string
  763.   val check15g = "OK" : string
  764. [closing file "math.sml"]
  765. [opening file "real.sml"]
  766. [opening file "auxil.sml"]
  767. > infix 1 seq
  768.   val seq = fn : 'a * 'b -> 'b
  769. > val check = fn : bool -> string
  770. > val check' = fn : (unit -> bool) -> string
  771. > val range = fn : int * int -> (int -> bool) -> bool
  772. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  773. [closing file "auxil.sml"]
  774. > val it = () : unit
  775. > val test1 = "OK" : string
  776.   val test2 = "OK" : string
  777.   val test3 = "OK" : string
  778.   val test4a = "OK" : string
  779.   val test4b = "OK" : string
  780.   val test4c = ["OK", "OK"] : string list
  781.   val test5a = "OK" : string
  782.   val test5b = "OK" : string
  783.   val test5c = ["OK", "OK"] : string list
  784.   val test6a = "OK" : string
  785.   val test6b = "OK" : string
  786.   val test6c = ["OK", "OK"] : string list
  787.   val test7a = "OK" : string
  788.   val test7b = fn : real list -> string
  789.   val test7c = ["OK", "OK"] : string list
  790.   val test8 = "OK" : string
  791.   val chk = fn : string * real -> string
  792.   val test9a =
  793.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  794.     : string list
  795.   val test9b =
  796.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  797.      "OK"]
  798.     : string list
  799.   val test9c =
  800.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  801.     : string list
  802.   val test9d =
  803.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  804.     : string list
  805.   val test9e =
  806.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  807.     : string list
  808.   val test9f =
  809.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  810.     : string list
  811.   val test9g =
  812.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  813.     : string list
  814.   val test9h =
  815.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  816.     : string list
  817.   val test9i =
  818.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  819.     : string list
  820.   val test9j =
  821.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  822.     : string list
  823.   val test10 = ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"] : string list
  824.   val test11a = "OK" : string
  825.   val test11b = "OK" : string
  826.   val chkFIX = fn : real * string * string * string * string -> bool
  827.   val chkFIX' = fn : real * string * string * string * string -> bool
  828.   val test11c = "OK" : string
  829.   val test12a = "OK" : string
  830.   val test12b = "OK" : string
  831.   val chkSCI = fn : real * string * string * string * string -> bool
  832.   val chkSCI' = fn : real * string * string * string * string -> bool
  833.   val test12c = "OK" : string
  834.   val test13a = "OK" : string
  835.   val test13b = "OK" : string
  836.   val chkGEN = fn : real * string * string * string * string -> bool
  837.   val chkGEN' = fn : real * string * string * string * string -> bool
  838.   val test13c = "OK" : string
  839. [closing file "real.sml"]
  840. [opening file "string.sml"]
  841. [opening file "auxil.sml"]
  842. > infix 1 seq
  843.   val seq = fn : 'a * 'b -> 'b
  844. > val check = fn : bool -> string
  845. > val check' = fn : (unit -> bool) -> string
  846. > val range = fn : int * int -> (int -> bool) -> bool
  847. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  848. [closing file "auxil.sml"]
  849. > val it = () : unit
  850. > val test1 = "OK" : string
  851.   val test2 = "OK" : string
  852.   val test3 = "OK" : string
  853.   val test4 = "OK" : string
  854.   val test5 = "OK" : string
  855.   val test6 = "OK" : string
  856.   val test7 = "OK" : string
  857.   val test8 = "OK" : string
  858.   val test9 = "OK" : string
  859.   val test10 = "OK" : string
  860.   val test11a = "OK" : string
  861.   val test11b = "OK" : string
  862.   val test11c = "OK" : string
  863.   val test11d = "OK" : string
  864.   val test11e = "OK" : string
  865.   val test11f = "OK" : string
  866.   val test11g = "OK" : string
  867.   val test11h = "OK" : string
  868.   val test12a = "OK" : string
  869.   val test12b = "OK" : string
  870.   val test12c = "OK" : string
  871.   val test12d = "OK" : string
  872.   val test12e = "OK" : string
  873.   val test12f = "OK" : string
  874.   val test12g = "OK" : string
  875.   val test13a = "OK" : string
  876.   val test13b = "OK" : string
  877.   val test14 = "OK" : string
  878.   val test15 = "OK" : string
  879.   val test16a = "OK" : string
  880.   val test16b = "OK" : string
  881.   val test17 = "OK" : string
  882.   val test18 = "OK" : string
  883.   val test19 = "OK" : string
  884.   val test20 = "OK" : string
  885.   val test21 = "OK" : string
  886.   val test22 = "OK" : string
  887.   val test23 = "OK" : string
  888.   val test24 = "OK" : string
  889.   val test25 = "OK" : string
  890. [closing file "string.sml"]
  891. [opening file "stringcvt.sml"]
  892. [opening file "auxil.sml"]
  893. > infix 1 seq
  894.   val seq = fn : 'a * 'b -> 'b
  895. > val check = fn : bool -> string
  896. > val check' = fn : (unit -> bool) -> string
  897. > val range = fn : int * int -> (int -> bool) -> bool
  898. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  899. [closing file "auxil.sml"]
  900. > val it = () : unit
  901. > val test1 = "OK" : string
  902.   val test2 = "OK" : string
  903.   val test3 = "OK" : string
  904.   val test4 = "OK" : string
  905.   val test5 = "OK" : string
  906.   val test6 = "OK" : string
  907.   val test7 = "OK" : string
  908.   val test8 = "OK" : string
  909.   val test9 = "OK" : string
  910.   val test10 = "OK" : string
  911. [closing file "stringcvt.sml"]
  912. [opening file "substring.sml"]
  913. [opening file "auxil.sml"]
  914. > infix 1 seq
  915.   val seq = fn : 'a * 'b -> 'b
  916. > val check = fn : bool -> string
  917. > val check' = fn : (unit -> bool) -> string
  918. > val range = fn : int * int -> (int -> bool) -> bool
  919. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  920. [closing file "auxil.sml"]
  921. > val it = () : unit
  922. > val test1a = "OK" : string
  923.   val test1b = "OK" : string
  924.   val test1c = "OK" : string
  925.   val test1d = "OK" : string
  926.   val test1e = "OK" : string
  927.   val test1f = "OK" : string
  928.   val test1g = "OK" : string
  929.   val test1h = "OK" : string
  930.   val test2a = "OK" : string
  931.   val test2b = "OK" : string
  932.   val test2c = "OK" : string
  933.   val test3a = "OK" : string
  934.   val test3b = "OK" : string
  935.   val test3c = "OK" : string
  936.   val test4 = "OK" : string
  937.   val test5a = "OK" : string
  938.   val test5b = "OK" : string
  939.   val test6 = "OK" : string
  940.   val test7 = "OK" : string
  941.   val test8a = "OK" : string
  942.   val test8b = "OK" : string
  943.   val test8c = "OK" : string
  944.   val test8d = "OK" : string
  945.   val test8e = "OK" : string
  946.   val test8f = "OK" : string
  947.   val test9a = "OK" : string
  948.   val test9b = "OK" : string
  949.   val test9c = "OK" : string
  950.   val test9d = "OK" : string
  951.   val test9e = "OK" : string
  952.   val test9f = "OK" : string
  953.   val test9g = "OK" : string
  954.   val test9h = "OK" : string
  955.   val test12 = "OK" : string
  956.   val test13 = "OK" : string
  957.   val test14 = "OK" : string
  958.   val finda = fn : char -> bool
  959.   val findb = fn : char -> bool
  960.   val test15 = "OK" : string
  961.   val test16 = "OK" : string
  962.   val test17 = "OK" : string
  963.   val test18 = "OK" : string
  964.   val test19 = "OK" : string
  965.   val test20 = "OK" : string
  966.   val test21 = "OK" : string
  967.   val test22a = "OK" : string
  968.   val test22b = "OK" : string
  969.   val test23 = "OK" : string
  970.   val test24 = "OK" : string
  971.   val test25 = "OK" : string
  972.   val test26a = "OK" : string
  973.   val test26b = "OK" : string
  974.   val test27a = "OK" : string
  975.   val test27b = "OK" : string
  976.   val test28 = "OK" : string
  977.   val test29a = "OK" : string
  978.   val test29b = "OK" : string
  979.   val test29c = "OK" : string
  980.   val test30a = "OK" : string
  981.   val test30b = "OK" : string
  982.   val test30c = "OK" : string
  983.   val test30d = "OK" : string
  984.   val test30e = "OK" : string
  985.   val test30f = "OK" : string
  986.   val test31 = "OK" : string
  987.   val eqspan = fn : substring * substring * substring -> bool
  988.   val test32a = "OK" : string
  989.   val test32c = "OK" : string
  990.   val test32d = "OK" : string
  991.   val test32b = "OK" : string
  992. [closing file "substring.sml"]
  993. [opening file "textio.sml"]
  994. [opening file "auxil.sml"]
  995. > infix 1 seq
  996.   val seq = fn : 'a * 'b -> 'b
  997. > val check = fn : bool -> string
  998. > val check' = fn : (unit -> bool) -> string
  999. > val range = fn : int * int -> (int -> bool) -> bool
  1000. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1001. [closing file "auxil.sml"]
  1002. > val it = () : unit
  1003. Two lines of output follow:
  1004. 1234  <--- this should read 1234
  1005. 12345 <--- this should read 12345
  1006. Two lines of output follow:
  1007. abcde <--- this should read abcde
  1008. abcde <--- this should read abcde
  1009. > val empty = <outstream> : TextIO.outstream
  1010.   val small = <outstream> : TextIO.outstream
  1011.   val medium = <outstream> : TextIO.outstream
  1012.   val text = <outstream> : TextIO.outstream
  1013.   val test1 = "OK" : string
  1014.   val test2 = "OK" : string
  1015.   val test3 = "OK" : string
  1016.   val test4 = "OK" : string
  1017.   val test5 = "OK" : string
  1018.   val test6 = "OK" : string
  1019.   val test7a = "OK" : string
  1020.   val test7b = "OK" : string
  1021.   val test7c = "OK" : string
  1022.   val test8a = "OK" : string
  1023.   val test8b = "OK" : string
  1024.   val test8c = "OK" : string
  1025.   val test8d = "OK" : string
  1026.   val test8e = "OK" : string
  1027.   val test8f = "OK" : string
  1028.   val test9a = "OK" : string
  1029.   val test9b = "OK" : string
  1030.   val test9c = "OK" : string
  1031.   val test9d = "OK" : string
  1032.   val test9e = "OK" : string
  1033.   val test10 = "OK" : string
  1034.   val test11 = "OK" : string
  1035.   val test12a = "OK" : string
  1036.   val test12b = "OK" : string
  1037.   val test12c = "OK" : string
  1038.   val test12d = "OK" : string
  1039. [closing file "textio.sml"]
  1040. [opening file "time.sml"]
  1041. [opening file "auxil.sml"]
  1042. > infix 1 seq
  1043.   val seq = fn : 'a * 'b -> 'b
  1044. > val check = fn : bool -> string
  1045. > val check' = fn : (unit -> bool) -> string
  1046. > val range = fn : int * int -> (int -> bool) -> bool
  1047. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1048. [closing file "auxil.sml"]
  1049. > val it = () : unit
  1050. > val test1 = "OK" : string
  1051.   val test2a = "OK" : string
  1052.   val test2b = "OK" : string
  1053.   val test2c = "OK" : string
  1054.   val test2d = "OK" : string
  1055.   val test2e = "OK" : string
  1056.   val test3a = "OK" : string
  1057.   val test3b = "OK" : string
  1058.   val test3c = "OK" : string
  1059.   val test4a = "OK" : string
  1060.   val test6a = "OK" : string
  1061.   val test7a = "OK" : string
  1062.   val test8a = "OK" : string
  1063.   val test9a = "OK" : string
  1064.   val test9b = "OK" : string
  1065.   val chk = fn : string * int -> string
  1066.   val test10a =
  1067.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1068.     : string list
  1069.   val test10b = ["OK", "OK", "OK", "OK", "OK"] : string list
  1070. [closing file "time.sml"]
  1071. [opening file "timer.sml"]
  1072. [opening file "auxil.sml"]
  1073. > infix 1 seq
  1074.   val seq = fn : 'a * 'b -> 'b
  1075. > val check = fn : bool -> string
  1076. > val check' = fn : (unit -> bool) -> string
  1077. > val range = fn : int * int -> (int -> bool) -> bool
  1078. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1079. [closing file "auxil.sml"]
  1080. > val it = () : unit
  1081.  
  1082. Each line below should show roughly the same User, System, and Gc times:
  1083. User: 1.090  System: 0.000  Gc: 0.000  Real: 1.088
  1084. User: 1.010  System: 0.000  Gc: 0.000  Real: 1.009
  1085. User: 1.000  System: 0.000  Gc: 0.000  Real: 1.000
  1086. User: 1.000  System: 0.000  Gc: 0.000  Real: 0.997
  1087. User: 0.990  System: 0.000  Gc: 0.000  Real: 0.995
  1088. User: 1.000  System: 0.000  Gc: 0.000  Real: 0.997
  1089. User: 0.990  System: 0.000  Gc: 0.000  Real: 0.997
  1090. User: 1.010  System: 0.000  Gc: 0.000  Real: 1.014
  1091. > val test1 = "OK" : string
  1092.   val test2 = "OK" : string
  1093.   val test3 = "OK" : string
  1094.   val ctmr = <cpu_timer> : Timer.cpu_timer
  1095.   val test4 = "OK" : string
  1096. [closing file "timer.sml"]
  1097. [opening file "unixpath.sml"]
  1098. [opening file "auxil.sml"]
  1099. > infix 1 seq
  1100.   val seq = fn : 'a * 'b -> 'b
  1101. > val check = fn : bool -> string
  1102. > val check' = fn : (unit -> bool) -> string
  1103. > val range = fn : int * int -> (int -> bool) -> bool
  1104. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1105. [closing file "auxil.sml"]
  1106. > val it = () : unit
  1107. > val test1a = "OK" : string
  1108.   val test1b = "OK" : string
  1109.   val test1c = "OK" : string
  1110.   val test1d = "OK" : string
  1111.   val test1e = "OK" : string
  1112.   val test1f = "OK" : string
  1113.   val test1g = "OK" : string
  1114.   val test1h = "OK" : string
  1115.   val test1i = "OK" : string
  1116.   val test1j = "OK" : string
  1117.   val test1k = "OK" : string
  1118.   val test1l = "OK" : string
  1119.   val test1m = "OK" : string
  1120.   val test1n = "OK" : string
  1121.   val test2a = "OK" : string
  1122.   val test2b = "OK" : string
  1123.   val test2c = "OK" : string
  1124.   val test2d = "OK" : string
  1125.   val test2e = "OK" : string
  1126.   val test2f = "OK" : string
  1127.   val test2g = "OK" : string
  1128.   val test2h = "OK" : string
  1129.   val test2i = "OK" : string
  1130.   val test2j = "OK" : string
  1131.   val test2k = "OK" : string
  1132.   val test2l = "OK" : string
  1133.   val test2m = "OK" : string
  1134.   val test2n = "OK" : string
  1135.   val test2o = "OK" : string
  1136.   val test2p = "OK" : string
  1137.   val test3b = "OK" : string
  1138.   val test3c = "OK" : string
  1139.   val test3d = "OK" : string
  1140.   val test3e = "OK" : string
  1141.   val test3f = "OK" : string
  1142.   val test3g = "OK" : string
  1143.   val test3h = "OK" : string
  1144.   val test4a = "OK" : string
  1145.   val test4b = "OK" : string
  1146.   val test5a = "OK" : string
  1147.   val test6a = "OK" : string
  1148.   val test6b = "OK" : string
  1149.   val test7a = "OK" : string
  1150.   val test7b = "OK" : string
  1151.   val test7c = "OK" : string
  1152.   val test8a = "OK" : string
  1153.   val test8b = "OK" : string
  1154.   val test8c = "OK" : string
  1155.   val test9a = "OK" : string
  1156.   val test10a = "OK" : string
  1157.   val test11a = "OK" : string
  1158.   val test12 = "OK" : string
  1159.   val test13 = "OK" : string
  1160.   val test14 = "OK" : string
  1161.   val test15 = "OK" : string
  1162.   val test16 = "OK" : string
  1163.   val test17 = "OK" : string
  1164.   val test18 = "OK" : string
  1165.   val test19 = "OK" : string
  1166. [closing file "unixpath.sml"]
  1167. [opening file "vector.sml"]
  1168. [opening file "auxil.sml"]
  1169. > infix 1 seq
  1170.   val seq = fn : 'a * 'b -> 'b
  1171. > val check = fn : bool -> string
  1172. > val check' = fn : (unit -> bool) -> string
  1173. > val range = fn : int * int -> (int -> bool) -> bool
  1174. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1175. [closing file "auxil.sml"]
  1176. > val it = () : unit
  1177. > val a = #[0, 1, 2, 3, 4, 5, 6] : int vector
  1178.   val b = #[44, 55, 66] : int vector
  1179.   val c = #[0, 1, 2, 3, 4, 5, 6] : int vector
  1180.   val test1 = "OK" : string
  1181.   val test2 = "OK" : string
  1182.   val d =
  1183.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  1184.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  1185.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1186.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1187.       5, 6, 0, 1]
  1188.     : int vector
  1189.   val test3 = "OK" : string
  1190.   val test4a = "OK" : string
  1191.   val test4b = "OK" : string
  1192.   val test4c = "OK" : string
  1193.   val test5 = "OK" : string
  1194.   val test6a = "OK" : string
  1195.   val test6b = "OK" : string
  1196.   val test6c = "OK" : string
  1197.   val e =
  1198.     #[0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2,
  1199.       3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5,
  1200.       6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1201.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1202.       5, 6, 0, 1, 44, 55, 66, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1,
  1203.       2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4,
  1204.       5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0,
  1205.       1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3, 4, 5, 6, 0, 1, 2, 3,
  1206.       4, 5, 6, 0, 1, 2, 3, 4, 5, ...]
  1207.     : int vector
  1208.   val test7 = "OK" : string
  1209.   val test8 = "OK" : string
  1210.   val f = #[44, 55, 66] : int vector
  1211.   val test9 = "OK" : string
  1212.   val test9a = "OK" : string
  1213.   val test9b = "OK" : string
  1214.   val test9c = "OK" : string
  1215.   val test9d = "OK" : string
  1216.   val test9e = "OK" : string
  1217.   val test9f = "OK" : string
  1218.   val test9g = "OK" : string
  1219.   val test9h = "OK" : string
  1220.   val test9i = "OK" : string
  1221.   val chkiter =
  1222.     fn
  1223.     : ((int -> 'a) -> ('b -> ''c)) -> (int -> 'a) -> 'b -> ''c * int -> string
  1224.   val chkiteri =
  1225.     fn
  1226.     : ((int * 'a -> 'b) -> ('c -> ''d)) -> ('a -> 'b) -> 'c -> ''d * int ->
  1227.       string
  1228.   val test10a = "OK" : string
  1229.   val test11a = "OK" : string
  1230.   val test11b = "OK" : string
  1231.   val test11c = "OK" : string
  1232.   val test11d = "OK" : string
  1233.   val test11e = "OK" : string
  1234.   val test11f = "OK" : string
  1235.   val test11g = "OK" : string
  1236.   val test11h = "OK" : string
  1237.   val test11i = "OK" : string
  1238. [closing file "vector.sml"]
  1239. [opening file "word.sml"]
  1240. [opening file "auxil.sml"]
  1241. > infix 1 seq
  1242.   val seq = fn : 'a * 'b -> 'b
  1243. > val check = fn : bool -> string
  1244. > val check' = fn : (unit -> bool) -> string
  1245. > val range = fn : int * int -> (int -> bool) -> bool
  1246. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1247. [closing file "auxil.sml"]
  1248. > val it = () : unit
  1249. > val test1 = "OK" : string
  1250.   val test3 = "OK" : string
  1251.   val test5a = "OK" : string
  1252.   val test5b = "OK" : string
  1253.   val test6a = "OK" : string
  1254.   val test6b = "OK" : string
  1255.   val test7a = "OK" : string
  1256.   val test7b = "OK" : string
  1257.   val test8a = "OK" : string
  1258.   val test8b = "OK" : string
  1259.   val maxposint = 1073741823 : int
  1260.   val maxnegint = ~1073741824 : int
  1261.   val pwr2 = fn : int -> int
  1262.   val rwp = fn : int -> int -> int
  1263.   val test9a = "OK" : string
  1264.   val test9b = "OK" : string
  1265.   val test9c = "OK" : string
  1266.   val test9d = "OK" : string
  1267.   val test9e = "OK" : string
  1268.   val test9f = "OK" : string
  1269.   val test9g = "OK" : string
  1270.   val test9h = "OK" : string
  1271.   val test10a = "OK" : string
  1272.   val test10b = "OK" : string
  1273.   val test10c = "OK" : string
  1274.   val test10d = "OK" : string
  1275.   val test11a = "OK" : string
  1276.   val test11b = "OK" : string
  1277.   val test11c = "OK" : string
  1278.   val test11d = "OK" : string
  1279.   val test11e = "OK" : string
  1280.   val test11f = "OK" : string
  1281.   val test11g = "OK" : string
  1282.   val test11h = "OK" : string
  1283.   val test11i = "OK" : string
  1284.   val test12a = "OK" : string
  1285.   val test12b = "OK" : string
  1286.   val test12c = "OK" : string
  1287.   val test12d = "OK" : string
  1288.   val test12e = "OK" : string
  1289.   val test12f = "OK" : string
  1290.   val test12g = "OK" : string
  1291.   val test12h = "OK" : string
  1292.   val test12i = "OK" : string
  1293.   val test12j = "OK" : string
  1294.   val test12k = "OK" : string
  1295.   val test12l = "OK" : string
  1296.   val test12m = "OK" : string
  1297.   val test12n = "OK" : string
  1298.   val test12o = "OK" : string
  1299.   val test12p = "OK" : string
  1300.   val test12q = "OK" : string
  1301.   val test12r = "OK" : string
  1302.   val test12s = "OK" : string
  1303.   val chk = fn : ('a -> word option) -> 'a * int -> string
  1304.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  1305.   val test13a =
  1306.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1307.      "OK", "OK"]
  1308.     : string list
  1309.   val test13b =
  1310.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1311.     : string list
  1312.   val test14a =
  1313.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1314.      "OK", "OK"]
  1315.     : string list
  1316.   val test14b =
  1317.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1318.     : string list
  1319.   val test15a =
  1320.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1321.      "OK", "OK"]
  1322.     : string list
  1323.   val test15b =
  1324.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1325.      "OK", "OK"]
  1326.     : string list
  1327.   val test16a =
  1328.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1329.      "OK", "OK"]
  1330.     : string list
  1331.   val test16b =
  1332.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1333.      "OK"]
  1334.     : string list
  1335.   val test17a =
  1336.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1337.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1338.     : string list
  1339.   val test17b =
  1340.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1341.     : string list
  1342.   val test18 = "OK" : string
  1343.   val test19 = "OK" : string
  1344.   val test20 = "OK" : string
  1345.   val test21 = "OK" : string
  1346.   val test22 = "OK" : string
  1347. [closing file "word.sml"]
  1348. [opening file "word8.sml"]
  1349. [opening file "auxil.sml"]
  1350. > infix 1 seq
  1351.   val seq = fn : 'a * 'b -> 'b
  1352. > val check = fn : bool -> string
  1353. > val check' = fn : (unit -> bool) -> string
  1354. > val range = fn : int * int -> (int -> bool) -> bool
  1355. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1356. [closing file "auxil.sml"]
  1357. > val it = () : unit
  1358. > val test1 = "OK" : string
  1359.   val test2 = "OK" : string
  1360.   val test3 = "OK" : string
  1361.   val test4 = "OK" : string
  1362.   val test5a = "OK" : string
  1363.   val test5b = "OK" : string
  1364.   val test5c = "OK" : string
  1365.   val test6a = "OK" : string
  1366.   val test6b = "OK" : string
  1367.   val test6c = "OK" : string
  1368.   val test7a = "OK" : string
  1369.   val test7b = "OK" : string
  1370.   val test7c = "OK" : string
  1371.   val test8a = "OK" : string
  1372.   val test8b = "OK" : string
  1373.   val test8c = "OK" : string
  1374.   val test9a = "OK" : string
  1375.   val test9b = "OK" : string
  1376.   val test9c = "OK" : string
  1377.   val test9d = "OK" : string
  1378.   val test9e = "OK" : string
  1379.   val test9f = "OK" : string
  1380.   val test9g = "OK" : string
  1381.   val test9h = "OK" : string
  1382.   val test9i = "OK" : string
  1383.   val test10a = "OK" : string
  1384.   val test10b = "OK" : string
  1385.   val test10c = "OK" : string
  1386.   val test10d = "OK" : string
  1387.   val test10e = "OK" : string
  1388.   val test11a = "OK" : string
  1389.   val test11b = "OK" : string
  1390.   val test11c = "OK" : string
  1391.   val test11d = "OK" : string
  1392.   val test11e = "OK" : string
  1393.   val test11f = "OK" : string
  1394.   val test12a = "OK" : string
  1395.   val test12b = "OK" : string
  1396.   val test12c = "OK" : string
  1397.   val test12d = "OK" : string
  1398.   val test12e = "OK" : string
  1399.   val test12f = "OK" : string
  1400.   val test12g = "OK" : string
  1401.   val test12h = "OK" : string
  1402.   val test12i = "OK" : string
  1403.   val test12j = "OK" : string
  1404.   val test12k = "OK" : string
  1405.   val test12l = "OK" : string
  1406.   val test12m = "OK" : string
  1407.   val test12n = "OK" : string
  1408.   val test12o = "OK" : string
  1409.   val test12p = "OK" : string
  1410.   val test12q = "OK" : string
  1411.   val chk = fn : ('a -> Word8.word option) -> 'a * int -> string
  1412.   val chkScan = fn : StringCvt.radix -> (string * int -> string)
  1413.   val test13a =
  1414.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1415.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1416.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1417.     : string list
  1418.   val test13b =
  1419.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1420.     : string list
  1421.   val test13c = "OK" : string
  1422.   val test13d = "OK" : string
  1423.   val test14a =
  1424.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1425.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1426.     : string list
  1427.   val test14b =
  1428.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1429.     : string list
  1430.   val test14c = "OK" : string
  1431.   val test14d = "OK" : string
  1432.   val test15a =
  1433.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1434.      "OK", "OK", "OK"]
  1435.     : string list
  1436.   val test15b =
  1437.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1438.      "OK", "OK"]
  1439.     : string list
  1440.   val test15c = "OK" : string
  1441.   val test15d = "OK" : string
  1442.   val test16a =
  1443.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1444.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1445.     : string list
  1446.   val test16b =
  1447.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1448.      "OK"]
  1449.     : string list
  1450.   val test16c = "OK" : string
  1451.   val test16d = "OK" : string
  1452.   val test17a =
  1453.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1454.      "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK",
  1455.      "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1456.     : string list
  1457.   val test17b =
  1458.     ["OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK", "OK"]
  1459.     : string list
  1460.   val test17c = "OK" : string
  1461.   val test17d = "OK" : string
  1462.   val test18 = "OK" : string
  1463.   val test19 = "OK" : string
  1464.   val test20 = "OK" : string
  1465.   val test21 = "OK" : string
  1466.   val test22 = "OK" : string
  1467. [closing file "word8.sml"]
  1468. [opening file "word8array.sml"]
  1469. [opening file "auxil.sml"]
  1470. > infix 1 seq
  1471.   val seq = fn : 'a * 'b -> 'b
  1472. > val check = fn : bool -> string
  1473. > val check' = fn : (unit -> bool) -> string
  1474. > val range = fn : int * int -> (int -> bool) -> bool
  1475. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1476. [closing file "auxil.sml"]
  1477. > val it = () : unit
  1478. > val i2w = fn : int -> Word8.word
  1479.   val w127 = 0wx7F : Word8.word
  1480.   val a = <array> : Word8Array.array
  1481.   val b = <array> : Word8Array.array
  1482.   val c = <array> : Word8Array.array
  1483.   val test1 = "OK" : string
  1484.   val test2 = "OK" : string
  1485.   val d = <array> : Word8Array.array
  1486.   val test3 = "OK" : string
  1487.   val test4a = "OK" : string
  1488.   val test4b = "OK" : string
  1489.   val test4c = "OK" : string
  1490.   val test5a = "OK" : string
  1491.   val test5b = "OK" : string
  1492.   val test6a = "OK" : string
  1493.   val test6b = "OK" : string
  1494.   val test6c = "OK" : string
  1495.   val e = <array> : Word8Array.array
  1496.   val a2v = fn : Word8Array.array -> Word8Vector.vector
  1497.   val ev = <vector> : Word8Vector.vector
  1498.   val test7 = "OK" : string
  1499.   val test8a = "OK" : string
  1500.   val test8b = "OK" : string
  1501.   val f = <vector> : Word8Vector.vector
  1502.   val test9 = "OK" : string
  1503.   val test9a = "OK" : string
  1504.   val test9b = "OK" : string
  1505.   val test9c = "OK" : string
  1506.   val test9d = "OK" : string
  1507.   val test9e = "OK" : string
  1508.   val test9f = "OK" : string
  1509.   val test9g = "OK" : string
  1510.   val test9h = "OK" : string
  1511.   val test9i = "OK" : string
  1512.   val g = <array> : Word8Array.array
  1513.   val test10a = "OK" : string
  1514.   val test10b = "OK" : string
  1515.   val test10c = "OK" : string
  1516.   val test10d = "OK" : string
  1517.   val test10e = "OK" : string
  1518.   val test10f = "OK" : string
  1519.   val test10g = "OK" : string
  1520.   val test10h = "OK" : string
  1521.   val test10i = "OK" : string
  1522.   val test11a = "OK" : string
  1523.   val test11b = "OK" : string
  1524.   val test11c = "OK" : string
  1525.   val test11d = "OK" : string
  1526.   val test11e = "OK" : string
  1527.   val test11f = "OK" : string
  1528.   val test11g = "OK" : string
  1529.   val test11h = "OK" : string
  1530.   val test11i = "OK" : string
  1531.   val test11j = "OK" : string
  1532.   val test11k = "OK" : string
  1533. [closing file "word8array.sml"]
  1534. [opening file "word8vector.sml"]
  1535. [opening file "auxil.sml"]
  1536. > infix 1 seq
  1537.   val seq = fn : 'a * 'b -> 'b
  1538. > val check = fn : bool -> string
  1539. > val check' = fn : (unit -> bool) -> string
  1540. > val range = fn : int * int -> (int -> bool) -> bool
  1541. > val checkrange = fn : int * int -> ((int -> bool) -> string)
  1542. [closing file "auxil.sml"]
  1543. > val it = () : unit
  1544. > val a = <vector> : Word8Vector.vector
  1545.   val b = <vector> : Word8Vector.vector
  1546.   val c = <vector> : Word8Vector.vector
  1547.   val test1 = "OK" : string
  1548.   val test2 = "OK" : string
  1549.   val d = <vector> : Word8Vector.vector
  1550.   val test3 = "OK" : string
  1551.   val test4a = "OK" : string
  1552.   val test4b = "OK" : string
  1553.   val test4c = "OK" : string
  1554.   val test5 = "OK" : string
  1555.   val test6a = "OK" : string
  1556.   val test6b = "OK" : string
  1557.   val test6c = "OK" : string
  1558.   val e = <vector> : Word8Vector.vector
  1559.   val test7 = "OK" : string
  1560.   val test8 = "OK" : string
  1561.   val f = <vector> : Word8Vector.vector
  1562.   val test9 = "OK" : string
  1563.   val test9a = "OK" : string
  1564.   val test9b = "OK" : string
  1565.   val test9c = "OK" : string
  1566.   val test9d = "OK" : string
  1567.   val test9e = "OK" : string
  1568.   val test9f = "OK" : string
  1569.   val test9g = "OK" : string
  1570.   val test9h = "OK" : string
  1571.   val test9i = "OK" : string
  1572.   val chkiter =
  1573.     fn
  1574.     : ((Word8.word -> 'a) -> ('b -> ''c)) -> (Word8.word -> 'a) -> 'b ->
  1575.       ''c * Word8.word -> string
  1576.   val chkiteri =
  1577.     fn
  1578.     : ((int * 'a -> 'b) -> ('c -> ''d)) -> ('a -> 'b) -> 'c -> ''d * int ->
  1579.       string
  1580.   val test10a = "OK" : string
  1581.   val test11a = "OK" : string
  1582.   val test11b = "OK" : string
  1583.   val test11c = "OK" : string
  1584.   val test11d = "OK" : string
  1585.   val test11e = "OK" : string
  1586.   val test11f = "OK" : string
  1587.   val test11g = "OK" : string
  1588.   val test11h = "OK" : string
  1589.   val test11i = "OK" : string
  1590. [closing file "word8vector.sml"]
  1591. > val it = () : unit
  1592.